Section: New Software and Platforms

PolyOrdo

Polynomial Scheduler

Functional Description

Computes a polynomial schedule for a sequential polyhedral program having no affine schedule, in lieu of multidimensional schedules. Uses algorithms for finding positive polynomials in semi-algebraic sets. Status: proof of concept software, see related paper [14].

• Contact: Paul Feautrier